منابع مشابه
Program Derivation Using the Refinement Calculator
The refinement calculus provides a theory for the stepwise refinement of programs and this theory has been formalised in HOL. TkWinHOL is a powerful graphical user interface (GUI) that can be used to drive the HOL window Library. In this paper, we describe a tool called the Refinement Calculator which combines TkWinHOL and the HOL Refinement Calculus theory, to provide support for formal progra...
متن کاملAndroid Application Development using Android Studio and PHP Framework
Today, as we all know that the development of hardware for mobile device is getting better and the performance index is veryhigh than the actual requirements ofthe software configuration. Phone's features are now more dependent on software or application. This paper describes development of Android mobile platform application. Development environment of Windows Mobile and Apple’s iPhone are ver...
متن کاملMobile network measurements using Android
Introducing a mobile telephony standard requires the cooperation of many engineers. Once implemented the networks require many improvements on the longterm scale. Lots of research is performed at the universities and similar research institutions with limited access to expensive measurement equipment. Introducing the new generations of mobile devices, e.g. smart phones, enables the development ...
متن کاملModeling Android applications using UML
The applications development for Android platform differs from traditional software development. These applications are usually complex, due to the characteristics imposed by the platform, thereby increasing the design complexity. Moreover, the designer has to worry about a reduced time to market. This way, approaches to accelerate the development and deal with complex systems are required. UML...
متن کاملCalculator for Fuzzy Numbers
This paper has been discussed and reviewed two R packages FuzzyNumbers and Calculator.LR.FNs. These packages have the ability of installation on R software, and in fact they propose some useful instruments and functions to the users for draw and easily using arithmetic operators on LR fuzzy numbers. For the convenience of the readers, the proposed methods and functions have been presen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal for Research in Applied Science and Engineering Technology
سال: 2020
ISSN: 2321-9653
DOI: 10.22214/ijraset.2020.5140